@notUndefined
type t = int
